This study assessed the mode of test administration, birth variables, and students’ academic performance in Mathematics in Obubra Local Government Area of Cross River State, Nigeria. The study was guided by three null hypotheses following a quasi- experimental research design. Simple random and purposive sampling techniques were employed in selecting a sample of 250 respondents from a population of 5,792 students. Birth Order Checklist (BOC) and Mathematics Achievement Test (MAT) were used for data collection. The experimental group was assigned to (...) take a Computer-Based Test (CBT) while the control group took a Paper-Pencil Test (PPT) in mathematics. The null hypotheses were tested at .05 alpha level using two-way analysis of variance. Major findings revealed that, the interactive effects of gender and mode of test administration on the academic performance of students is non- significant [F(1,249)=0.028, p>.05, partial η2=.000]; the interactive effects of gender and birth order on the academic performance of students was not statistically significant [F(3,249)=0.782, p>.05, partial η2=.010]; the interactive effect of gender and birth order on the academic performance of students in mathematics is statistically significant [F(3,249)=2.854, p<.05, partial η2 =.034]. Based on these findings conclusions and recommendations were made for improved academic performance and school system effectiveness. (shrink)

This study assessed the administration of punishment, students’ test anxiety, and performance in mathematics in secondary schools of Cross River State. Three null hypotheses were formulated following a correlational research design. Proportionate stratified random sampling technique was employed in selecting a sample of 2,554 respondents representing 5% of the population of 51,097 junior secondary school students distributed across 271 public secondary schools in Cross River State. Administration of Punishment Questionnaire (APQ) designed by the researchers, Test Anxiety Inventory (TAI) developed by (...) Dawood et al., (2016), and Mathematics Achievement Test (MAT) designed by Owan (2012), were used as instruments for data collection. The null hypotheses were tested using one-way MANOVA), Pearson Product Moment Correlation, and Multiple regression analyses with the aid of SPSS v23. Findings revealed amongst others that administration of punishment has a significant influence on students’ test anxiety and performance in mathematics F (6, 5098) = 24.149, p<.05; Wilk’s Λ = 0.945, partial η2 = .028 on a joint basis; administration of punishment has a significant influence respectively on students’ test anxiety F (3, 2550) = 22.697, p<.0005, partial η2 =.026 and performance in mathematics F (3, 2550) = 23.090, P<.0005, partial η2 =.026; there is an inverse significant relationship (r= -339, p<0.05) between students’ tests anxiety and performance in mathematics. It was recommended that the use of corporal punishment should be totally abolished on strict grounds that it hurts the psychological disposition of learners resulting in a dip in their performance consequently. (shrink)

The focus of this study was to investigate "principals' administrative competence and teachers work performance" in Calabar Education zone. Four null hypotheses were tested in the course of the study. Correlational research design was adopted, while purposive sampling technique was used in selecting a sample of 800 teachers. Two instruments were used for data collection including "Principals' Administrative Competence Questionnaire (PACQ)," and Teachers' Work Performance Questionnaire (TWPQ)." Pearson Product Moment Correlation Analysis (r) and multiple regression (R) analysis were employed to (...) test the hypotheses at.05 level of significance were applicable, with the aid of SPSS v21. Findings from the study revealed that; principals' supervisory, leadership and communication competences are significantly related to teachers' work performance in terms of instructional delivery, attendance to classes, notes writing, and record keeping respectively. It was also revealed that; principals' supervisory, leadership and communication competences have significant composite influence on teachers' work performance in terms of instructional delivery (p <.05; F = 26.764), attendance to classes (p <.05; F = 109.122), notes writing (p <.05; F = 228.118), and record keeping (P <.05; F = 468.793). Based on these findings, it was recommended amongst others that; such techniques as close supervision of teachers, good leadership styles, and effective communication should be jointly practiced by secondary school principals in order to improve teachers' work performance. (shrink)

This study used a path analytic approach to examine the composite interaction of supervisory and records management with secondary school system effectiveness in terms of students' academic performance, teachers' job effectiveness and principals' administrative effectiveness. Two research questions were answered while one null hypothesis was tested. The study adopted a factorial research design. Convenience sampling technique was adopted by the researchers in selecting a sample of 1,200 respondents which comprised 271 principals and 929 teachers from a population of 271 principals, (...) and 4,878 teachers. Principal Innovative Management Practices and Administrative Effectiveness Questionnaire (PIMPAEQ), Teachers work effectiveness questionnaire (TWEQ), and Students Mathematics Achievement Test (SMAT) were all used as instruments for data collection. Collected data were analyzed using descriptive statistics, the research questions and null hypothesis were answered and tested (at .05 level of significance) respectively using multiple regression and path analyses with the aid of SPSS v25 and Amos v22. Findings from the study established amongst others that; supervisory management and records management practices have a significant joint contribution to students’ academic performance by 66.4%, teachers’ job effectiveness by 71%, and principals’ administrative effectiveness by 86.8%. Supervisory management and records management practices had a significant influence on students’ academic performance (F= 1183.641, p<.05), teachers’ job effectiveness (F= 1465.615, p<.05), and principals’ administrative effectiveness (F=3924.763, p<.05). It was recommended amongst others that; secondary school principals should jointly use supervisory and records management practices as innovative techniques for improving students’ academic performance, teachers’ job effectiveness and their own administrative effectiveness. KEYWORDS:. (shrink)

This study analyzed the utilization of social media platforms and university students' attitudes towards academic activities in Cross River State. A descriptive survey research design was adopted for the study. The population of this study comprised all the private and public university students in Cross River State. A sample of 1,600 students, which cuts across the three universities in the area of study, was selected using the convenience sampling technique. A questionnaire (r=.849) and a rating scale (r=.786) were used as (...) the instruments for data collection. Findings emerged amongst others that the utilization status of social media platforms by university students is generally high; the utilization of Facebook, WhatsApp, Instagram, Twitter, WeChat, Skype, Snapchat, Eskimi, Telegram and YouTube social media platforms has a significant composite influence (F=52.453, p<.05) on university students' attitudes towards academic activities. Relatively, utilization of Facebook was the highest predictor (t=11.222, β=.232, p<.05), followed by the utilization of WhatsApp (t=11.068, β=.229, p<.05), utilization of Twitter (t=5.977, β=.118, p<.05), and the utilization of Instagram (t=2.772, β=.056, p<.05), in that order. It was recommended that secondary school students should develop positive attitudes towards their academic activities and abhor activities that will lead to a decline in the learning outcomes. (shrink)

The dishonest practices in the conduct of educational research in South-South region particularly, and Nigeria generally, has called for urgent intervention. This study assessed data management practices and educational research effectiveness of University Lecturers in South-South Nigeria. A sample of 602 lecturers that were accessible during data collection responded to two questionnaires (Data Management Practices Questionnaire – DMPQ and "Educational Research Effectiveness Questionnaire – EREQ). Multiple regression was employed in the analysis of data. Findings revealed amongst others that; data storage, (...) data security, data retrieval, data sharing, and data re-use jointly contributed to the total variance in educational research effectiveness in terms of proper citations by 56.25%, problem-solving by 22.14%, knowledge creation by 34.50%, and generation of testable data by 36.88%; and their composite influence on educational research effectiveness in terms of proper citations (F=152.25,p<.05), problem-solving (F=33.90,p<.05), knowledge creation (F=62.78,p<.05), and generation of testable data (F=69.65,p<.05), is statistically significant. Based on the findings of this study, it was recommended among others that, there should be an up-to-date database or data warehouse in Ministries of Education where researchers can easily access data in order to increase the quality of researches by eliminating the problems of data fabrication and falsification. This study contributes to the existing body of knowledge by addressing the gaps arising from the paucity of research literature on educational research effectiveness. This study shows how data management practices affects the quality of educational research output of university lecturers using empirical evidence from Nigeria. (shrink)

This study examined adolescents’ perception management and attitudes towards sex education in secondary schools in Cross River State, Nigeria. The study was guided by three null hypotheses that were formulated. The study adopted a descriptive survey design. Purposive sampling technique was employed by the researchers in selecting a sample of 1,080 students from a population of 98,915 secondary school students distributed across 271 public secondary schools in Cross River State. Adolescents Perception Management and Attitudes towards Sex Education Questionnaire (APMATSEQ) was (...) used as an instrument for data collection. The null hypotheses were all tested at .05 level of significance using Pearson product moment correlation and multiple regression analyses. Findings from the study revealed that adolescents' counseling and sensitization are significantly related to their attitudes towards sex education respectively and jointly; both variables accounted for 50.3 percent (R2 = .503, Adj. R2 = .502) of the total variance of adolescents’ attitudes towards sex education. Findings also revealed that adolescents’ counselling and sensitization have a significant composite influence (F = 544.924, p < .05) on their attitudes towards sex education, with adolescents’ counselling being the highest predictor (β = .499, t = 19.392), followed by adolescents’ sensitization (β = .299, t = 11.632). Based on the findings, it was recommended amongst others that; professional counselors should be employed by the government to enable secondary schools to have at least three counselors per school in order for schools to effectively manage students’ perception. (shrink)

Introduction: Research has documented the prevalence of different HIV/AIDS prevention programs launched to reduce the spread of the virus. However, the extent to which the success or otherwise of these programs are achieved is rarely discussed. This study addresses this gap by analyzing the impact of three socioeconomic parameters on the evaluation of HIV/AIDS prevention programs in the Southern Senatorial District of Cross River State, Nigeria. Methods: A sample of 239 health care employees selected using the proportional stratified random sampling (...) technique participated in the study. A priori power analysis (using G*power) indicated that the sample size was large enough to achieve a 96.7% statistical power. Data was collected using a structured questionnaire. Exploratory factor analysis assessed the dimensionality of the instrument. Acceptable construct and discriminant validity and composite reliability coefficients were obtained. At the .05 alpha level, the null hypotheses were tested using a one-way analysis of variance. Findings: Findings indicated that the evaluation of HIV/AIDS prevention programs significantly varied with the level of funding provided (F[2, 236]=81.11, p<.001), human capacity available (F[2, 236]=40.91, p<.001), and stigmatization to people living with AIDS (F[2, 236]=40.79, p<.001). Health facilities with higher funding and human capacity successfully evaluated HIV/AIDS prevention programs. However, the evaluation of HIV/AIDS prevention programs was lower in areas with a high level of stigmatization. Conclusion and implication: This study’s findings provided evidence that funding, human capacity, and stigmatization affect how HIV/AIDS pandemic can be effectively evaluated. This study implies that additional responsibility is required for public health workers to promote quality service delivery across different health facilities. Keywords:. (shrink)

This study assessed students’ perception of teachers’ effectiveness and learning outcomes in mathematics and economics in secondary schools of Cross River State, Nigeria. Two null hypotheses were formulated to direct the study. The factorial research design was adopted for the study. Cluster and purposive sampling techniques were however employed in selecting a sample of 1,800 students from the three education zones in Cross River State. “Students’ Perception of Teachers Effectiveness Questionnaire (SPTEQ)”, Mathematics Achievement Test (MAT), and Economics Achievement Test (EAT) (...) were used as instruments for data collection. Reliability estimates of .86, .91, and .81 were obtained for the three instruments using Cronbach alpha. Collected data were analysed using descriptive statistics while the research question was answered and the null hypothesis tested using Pearson Correlation matrix and multiple regression analyses (where applicable), with the aid of Minitab v18. Findings revealed amongst others that, there is a significant composite influence of students’ perception of teachers’ motivational skills, teaching methods, relationship with students, and communication level on learning outcomes in Mathematics (F = 142.46, p < .05) and Economics (F = 150.31, p < .05) respectively. It was recommended amongst others that secondary school teachers should adopt motivational techniques such as praises, rewards, and smiles, in strengthening the interest of learners during mathematics and Economics lessons. Keywords:. (shrink)

This study assessed quality assurance practices and students’ performance evaluation in universities of South-South Nigeria using an SEM approach. Three null hypotheses guided the study. Based on factorial research design, and using a stratified random sampling technique, a sample of 878 academic staff were drawn from a sampling frame of 15 universities in South-South Nigeria. Quality Assurance Practices Students’ Performance Evaluation Scale (QAPSPES) with split-half reliability estimates ranging from .86–.92, was used as the instruments for data collection. Multiple regression and (...) Confirmatory Factor Analyses (CFA) were used for the analysis of data, model building, and testing of the hypotheses at .05 alpha level. Findings showed a significant composite and relative influence (F=48.19, P<.05) of school management, staff, and students’ quality assurance practices on students’ performance evaluation. The results also indicated that there were positive and significant covariances between the four variables of this study, with the CFI, RMSEA, TLI, and SRMR values indicating a good model fit. It was recommended, based on the findings of this study that, each school should organize quality assurance orientation campaigns for new students and set up quality assurance committees at the school, faculty and departmental levels for optimal performance in schools. (shrink)

This study evaluated school quality indicators and teachers job performance in Cross River State. One research question and four null hypotheses were raised following factorial research design. Proportionate random sampling technique was employed in selecting a sample of 1,463 teachers representing 30 percent from a population of 4,878 teachers distributed across 271 public secondary schools in Cross River State. “School Quality Indicators Questionnaire (SQIQ) and Teachers’ Job Performance Questionnaire (TJPQ)” were the instruments used for data collection. Prepared data were analyzed (...) using descriptive statistics; while the null hypotheses were all tested at .05 alpha level using Pearson Product Moment Correlation and Multiple regression analyses as appropriate with the aid of Minitab statistical software v18. Findings revealed that, quality of school facilities, leadership, and supervision jointly accounted for 90.6 percent (Pred. R2 = .9063) of the total variance of teachers’ job performance; there is significant relationship between quality of school facilities (r = .478, p< .05), quality of leadership (r = .928, p< .05) quality of supervision (r = .881, p< .05) respectively with secondary school teachers’ job performance; quality of school facilities, leadership, and supervision have significant composite influence (F=4800.58, p<.05) on secondary school teachers’ job performance; quality of leadership was the highest predictor (t=45.38, p< .05) of teachers’ job performance, followed by quality of school supervision (t = 27.29, p <.05). Based on these findings, conclusions and recommendations were made for improvement. Keywords:. (shrink)

This study investigated innovation management and effectiveness of educational research in tertiary institutions in Cross River State. One research question and one null hypothesis were formulated to direct the study. The study adopted factorial research design. Census technique was adopted by the researcher in selecting the entire population of 80 participants from four (4) tertiary institutions in Cross River State. “Innovation Management Questionnaire (IMQ)” and “Effectiveness of Educational Research Rating Scale (EERRS) were used as instruments for data collection. The reliability (...) of the instruments was established through test-retest method and reliability estimates of .89 and .86 were obtained. The null hypothesis was tested at .05 level of significance using multiple regression analysis with the aid of SPSS version 21. Findings from the study established a composite contribution of 70.5% of data management innovations, research ethics management, provision of research grants to effectiveness of educational research (Adj. R2= .705). The findings of this study also established that; data management innovations, research ethics management, and provision of research grants jointly has a significant influence on effectiveness of educational research (F = 64.055, p <.05). Data management innovations was the highest predictor (β = .501, t = 7.778), followed by research ethics management ethics management (β = .311, t = 3.956), and provision of research grants (β = .291, t = 3.707) in that order. Based on the findings, it was recommended, amongst others, that educational research data (including coded data) should be effectively managed by tertiary institutions using both manual and computerized data management devices with corresponding appropriate retrieval systems. (shrink)

This study assessed teaching personnel management and attitude to work in secondary schools of Calabar Education Zone of Cross River State, Nigeria. Two null hypotheses offered direction to the study using an Ex-post facto research design. The population of this study comprised all the public secondary school teachers in Calabar Education zone of Cross River State. Purposive sampling technique was employed in selecting a sample of 1,181 teachers. “Teaching Personnel Management and Attitude to Work Questionnaire (TPMAWQ)”, with Split-half reliability estimates (...) of .83, .87, .93, and .84, was used as an instrument for data collection. Independent t-test and multiple regression analyses were used in testing the null hypotheses at .05 alpha level. The findings of the study revealed amidst others that there is a significant composite influence (F = 279.438, p<.05) of teachers’ training, placement and supervision on their attitudes to work. Teachers’ training was the highest predictor of their attitudes to work (t = 20.727, β = .490), followed by placement (t = 10.294, β = .241), and supervision (t= 7.171, β = .164). It was recommended among others that teachers should be properly trained on the principles, concepts, and methods of teaching before and during service. (shrink)

This study assessed external debts and the financing of education in Nigeria using time series data obtained from World Bank, and CBN Statistical Bulletin covering a period of 31 years from 1988 -2018. The model of the study was derived, while the data collected were analysed using the Ordinary Least Squares. Diagnostic tests such as Augmented Dickey- Fuller (ADF) unit root test, Johansen co-integration, Vector Error Correction (VEC) techniques of estimation, and Granger Causality tests were all performed. Findings revealed a (...) significant long-run relationship between external debts and the financing of education; external debts have a significant effect (F=39.07055, p<.05) on the financing of education in Nigeria; external debt stock and external debt service payment have no significant effect on the financing of education; real GDP and Exchange rate have a significant effect on the financing of education in Nigeria respectively. Based on these findings, it was concluded that external debt is a big hindrance to the financing of education and consequently, the economic growth of Nigeria. It was recommended amongst others that the government should use borrowed funds from external sources for productive capital projects or development initiatives such as investment in education and the eradication of illiteracy. (shrink)

TRANSPORTE DE GAMETAS, FERTILIZAÇÃO E SEGMENTAÇÃO -/- • _____OBJETIVO -/- O entendimento do desenvolvimento embrionário nos estágios iniciais, desde a deposição dos espermatozoides na fêmea, passando pela fertilização deste no ovócito e na formação do zigoto, é de suma importância para diferenciar especialistas em reprodução e manejo reprodutivo no mercado de trabalho e, também, durante a vida acadêmica. Compreender os processos que levam à formação do zigoto na fêmea é essencial para avaliar a capacidade reprodutiva dos animais e, mediante técnicas, (...) avaliar o trato reprodutivo da fêmea e o desenvolvimento do embrião até a formação do feto e, por fim, em um novo animal sadio na propriedade. Com esse trabalho, o estudante de veterinária ou zootecnia, que deseja se aprofundar na fisiologia da reprodução animal, identificará os mecanismos que são envolvidos no transporte dos gametas, bem como os processos que estes últimos devem completar para alcançar a fertilização e para desencadear as divisões iniciais do embrião. -/- • _____INTRODUÇÃO -/- A fertilização ou fecundação é o processo pelo qual os gametas masculino (espermatozoide) e feminino (ovócito) se fundem para gerar um novo indivíduo. Seu êxito depende da culminação adequada dos diferentes processos que devem sofrer os gametas durante sua maduração e percurso; do transporte oportuno destes no trato reprodutivo da fêmea, assim como de uma série de adaptações dos órgãos genitais internos da mãe. A segmentação refere-se às primeiras divisões celulares do embrião. -/- • _____TRANSPORTE DO OVÓCITO -/- O ovócito que é liberado na ovulação, e que se encontra coberto pelas células do cumulus (figura 1), é capturado pela fímbria do infundíbulo ao aderir aos cílios. Esse processo é altamente eficaz, inclusive em espécies onde os ovários possuem várias formações globosas, por exemplo nas porcas, onde os ovidutos capturam entre 95 e 100% dos ovócitos que são ovulados. As contrações das camadas musculares do oviduto e o movimento intenso dos cílios da mucosa faz com que as secreções fluam em direção ao útero, transportando assim o complexo cumulus-ovócito. Esse transporte é relativamente rápido até alcançar a junção da ampola com o istmo (que é considerado o local de fertilização do espermatozoide e ovócito) a partir do qual se torna lento. Devido a fêmea estar em estro, o processo está sob controle endócrino, isto é, controle hormonal através do estradiol. Nas fêmeas domésticas, ao contrário das mulheres, o transporte ao longo do oviduto é extremamente eficiente, pois os embriões passam para o útero sem dificuldade, de modo que gestações ectópicas (tubárias ou em cavidade) são quase inexistentes. A égua, frequentemente, retém por muito tempo os ovócitos não fertilizados no oviduto, provavelmente devido a não secreção de substâncias (como a prostaglandina E) que poderiam favorecer sua passagem, como se propõe que aconteça com os embriões. A figura 2 apresenta um ovócito com suas respectivas estruturas. Figura 1: ovócitos de uma vaca madurados in vitro. Nota-se as células do cumulus que os recobre. -/- Figura 2: estruturas do ovócito de uma ovelha que se encontra na etapa de ovócito secundário, depois da ovulação. Elaborado pelo autor. • _____TRANSPORTE ESPERMÁTICO -/- Para que os espermatozoides sejam capazes de fertilizar o ovócito, deverão sofrer uma série de mudanças bioquímicas e morfológicas ao longo de sua passagem pelo aparelho reprodutor tanto masculino como feminino. Uma vez produzidos na parede do túbulo seminífero, os espermatozoides são liberados em direção ao lúmen tubular e transportados passivamente para uma estrutura ramificada conhecida como rede testicular (rete testis). Dessa rede são conduzidos em direção ao epidídimo passando através de 10 a 20 ductos eferentes localizados no polo superior do testículo. O epidídimo é dividido em três seções denominadas cabeça, corpo e cauda; é constituído por um só ducto longo e tortuoso que continua com o canal deferente. Ao final desemboca nas ampolas seminais, no ducto ejaculatório e na uretra. As funções do epidídimo são as de maduração, transporte e armazenamento dos espermatozoides. O transporte através do epidídimo é lento, aproximadamente de 10 dias em touros, e segue sendo passivo. Os espermatozoides tomados da cabeça do epidídimo são ainda imaturos e incapazes de fertilizar, enquanto os armazenados na cauda são completamente maduros. Durante o trânsito pelo epidídimo os espermatozoides adquirem motilidade e o potencial para fertilizar, o acrossomo é remodelado e a gota citoplasmática migra para o flagelo e é liberada. Quando um macho ejacula com muita frequência, é possível observar espermatozoides com gota citoplasmática no sêmen, já que não há tempo suficiente para que completem sua maduração. Os espermatozoides são expulsados fora do organismo durante a cópula, na masturbação ou em emissões espontâneas. Na ejaculação, os espermatozoides que se encontram suspensos nos fluidos do testículo e do epidídimo, misturam-se ao chegar na uretra com as secreções das glândulas acessórias para formar o sêmen. Essas secreções denominadas plasma seminal, proporcionam substâncias para manter o metabolismo energético das células espermáticas, e integram suas membranas elementos que impedem uma capacitação prematura. Durante a cópula, o sêmen é depositado na vagina ou no útero, variando entre as espécies (tabela 1). Na monta natural, geralmente, o serviço ocorre no momento propício, já que está definido pela fase do ciclo estral em que a fêmea é receptiva ao macho. No entanto, na inseminação artificial, é o macho que deverá determinar o momento ideal, e para isso é importante considerar a vida média dos gametas, ao qual é muito curta no caso dos ovócitos (tabela 1). -/- Tabela 1: local de depósito do sêmen, volume da ejaculação e vida média dos gametas. Espécie Local de deposição Volume (ml) Velocidade de ejaculação Vida média do ovócito Vida média do espermatozoide Bovinos Intravaginal 2 1 – 3 seg 8 h 30 – 48 h Caninos Intravaginal 2 – 30 (10 média) 6 – 45 min 48 – 72 h 9 – 11 d Equinos Intrauterina 50 – 200 20 – 60 seg 6 – 8 h 72 – 120 h Humanos Intravaginal 3 - - 5 – 6 d Ovinos Intravaginal 1 1 – 2 seg 16 – 24 h 30 – 48 h Suínos Intrauterina 200 – 400 5 – 20 min 8 – 10 h 24 – 48 h Onde d = dias; h = horas. A vida fértil do ovócito é muito curta, portanto, o momento do serviço é de grande importância para obter altos índices de fertilização. -/- Independentemente do local em que os espermatozoides sejam depositados no aparelho reprodutor feminino, serão expostos às secreções genitais e sofrem uma série de mudanças em seu trajeto até o local de fertilização antes de penetrar no ovócito. Nas espécies em que o sêmen é depositado na parte cranial da vagina, uma parte do mesmo penetra através da cérvix, enquanto outra parte é eliminada do aparelho genital da fêmea, em pouco tempo, através do fluxo retrógrado. O meio vaginal não é adequado e imobiliza os espermatozoides em pouco tempo, pelo qual deverão entrar no útero onde o ambiente é mais propício. O transporte espermático na fêmea é o resultado da alta contratilidade, do movimento ciliar e o fluido do aparelho genital durante o estro, ao qual está sob controle endócrino e do sistema nervoso. Esse transporte é favorecido pelas características especiais do muco estral, cujas moléculas formam uma espécie de canais que facilitam a passagem dos espermatozoides. Pelo contrário, durante a fase lútea seu transporte é dificultado. Além do meio vaginal, a cérvix também atua como barreira natural para limitar a passagem dos espermatozoides, diminuindo assim a possibilidade de polispermia. Funciona, também, como um filtro que seleciona os espermatozoides aptos dos que não o são, uma vez que somente os primeiros possuem uma motilidade vigorosa que lhes permite passar pelo muco altamente hidratado. Na vaca a cérvix é considerada como um reservatório espermático. Quando atravessam a cérvix, os espermatozoides seguem sua deslocação tanto por movimento próprio como pelas contrações uterinas e tubárias. Nas espécies em que o local de depósito do sêmen do macho na fêmea é intrauterino, como equinos, a principal barreira que os espermatozoides enfrentam é a união ou junção útero-tubárica. A união entre o útero e o oviduto (istmo do oviduto) serve como reservatório funcional dos espermatozoides nas espécies domésticas. Poucos minutos depois da cópula, é possível encontrar alguns espermatozoides no oviduto, que é conhecido como fase de transporte rápido. No entanto, esses espermato-zoides não são os que participam do processo de fertilização e podem apresentar certas anormalidades. Existe um segundo tipo de transporte denominado fase sustentada, a qual consiste na migração prolongada dos espermatozoides em direção as partes mais craniais do aparelho genital feminino, que conduzem à colonização do reservatório funcional e na liberação gradual dos espermatozoides dos reservatórios espermáticos, incluindo este último. O reservatório do istmo fornece aos espermatozoides um ambiente propício, protegendo-os contra a fagocitose, prolongando assim a sua viabilidade. Aqui os esper-matozoides permanecem aderidos a superfície das células ciliadas do epitélio até a finalização de sua capacitação, depois da qual são liberados quando alteram seu padrão de motilidade flagelada, fenômeno conhecido como hipermotilidade, e migram em ondas em direção ao local da fertilização. Dos milhões de espermatozoides ejaculados, somente alguns milhares alcançarão o istmo do oviduto e um número sumamente pequeno será encontrado nas imediações do ovócito no momento da fertilização. -/- • _____CAPACITAÇÃO ESPERMÁTICA E REAÇÃO ACROSSÔMICA -/- A capacitação é um processo gradual e essencial para a fertilização. Os espermato-zoides devem passar por um dado tempo de “incubação” no aparelho genital da fêmea e sofrer uma série de mudanças antes de serem capazes de fecundar o ovócito. A capacita-ção dos espermatozoides começa quando eles entram em contato com as secreções do aparelho genital da fêmea e termina no istmo do oviduto. Durante esse percurso a superfície da cabeça do espermatozoide se modifica já que algumas moléculas como o colesterol são removidas da membrana plasmática, aumentando sua fluidez e alterando suas propriedades bioquímicas. Entre outras coisas, essa reorganização dos lipídios facilita a entrada de cálcio extracelular pelos canais iônicos e ocasiona a desestabilização da membrana, tornando-a mais fusogênica. Também são eliminados outros fatores (conhecidos genericamente como fatores descapacitantes) que expõem receptores membranais indispensáveis para a realização da união entre o espermatozoide e o ovócito durante a fertilização. Os espermatozoides capacitados apresentam um padrão de hipermotilidade e uma maior atividade metabólica, características que devem obter para que sejam capazes de penetrar as camadas do ovócito. A capacitação é necessária para que ocorra a reação acrossômica. A reação acrossomal ou acrossômica (RA) é um fenômeno de exocitose que é desencadeada pela ligação entre as proteínas e receptores localizados na membrana do espermatozoide e a zona pelúcida do ovócito (figura 3). Envolve a fusão da membrana plasmática do espermatozoide com a membrana externa de seu acrossomo; formando, assim, pequenas vesículas, cujo conteúdo de enzimas hidrolíticas, como a hialuronidase e a acrosina, é liberado em direção ao seu exterior, facilitando a penetração da zona pelúcida. A adesão do espermatozoide à zona pelúcida é específica da espécie e depende de glicoproteínas presentes na membrana dos ovócitos maduros; a cabeça do espermatozoide se une com essas glicoproteínas mediante receptores específicos e atravessam em direção oblíqua a zona pelúcida até chegar ao espaço perivitelino. Nos mamíferos, particularmente em roedores e nos humanos, algumas dessas glicoproteínas são conhecidas como ZP1, ZP2 e ZP3. Pensa-se que a união da membrana espermática a esta última é o que desencadeia a reação acrossomal. Posteriormente, as vilosidades do ovócito entram em contato com o espermatozoide e a membrana presente na secreção equatorial da cabeça do espermatozoide, que tem proteínas fusogênicas específicas, une-se a membrana plasmática do ovócito, fusionando-se e permitindo a entrada do núcleo espermático ao citoplasma (figura 4). A capacitação dos espermatozoides é fundamental para o êxito da fertilização, uma vez que apenas os aptos estarão perfeitos e íntegros para que a união e percepção das glicoproteínas presentes nos mesmos possam ocorrer de forma ideal para a penetração deste no ovócito, fertilizá-lo e formar um zigoto. Figura 3: estrutura do espermatozoide. Nota: a membrana é acrossomal e não acrossonal. Elaborado pelo autor. -/- Figura 4: eventos que ocorrem durante a fertilização. A – depois de passar através das células do cumulus, o espermatozoide entra em contato com a zona pelúcida, onde receptores da membrana plasmática reconhecem as proteínas da zona pelúcida; B – é desencadeada, então, a reação acrossomal; C – para que o espermatozoide penetre na zona pelúcida; D – ao atravessar a zona pelúcida e entrar no espaço perivitelino, a cabeça do espermatozoide entra em contato com a membrana vitelina; ambas membranas se fusionam graças ao reconhecimento de proteínas fusogênicas que estão no segmento equatorial. E – ocorre, então, que o núcleo do espermatozoide penetra no citoplasma do ovócito; uma das consequências da fusão da membrana com a cabeça do espermatozoide é a reação cortical, em que os grânulos corticais do ovócito liberam seu conteúdo em direção ao espaço perivitelino, o que resulta na alteração da estrutura da zona pelúcida e da membrana vitelina para bloquear a polispermia. Elaborado pelo autor. • _____CONSEQUÊNCIAS DA PENETRAÇÃO -/- Bloqueio da polispermia -/- A fusão das membranas dos gametas durante a penetração permite a entrada da fosfolipase C zeta (PLCζ) – fator solúvel que provém do espermatozoide – que desencadeia liberação e oscilações de Ca2+ no retículo endoplasmático. Isso, por sua vez, provoca a migração e fusão dos grânulos corticais, com a consequente liberação de enzimas, que mudam tanto a estrutura da zona pelúcida (por exemplo a inativação de ZP3), como a da membrana vitelina. Desse modo, impede-se que outros espermatozoides as penetrem, evitando assim a polispermia (figura 5). -/- Figura 5: os grânulos corticais que encontram-se na periferia do citoplasma, debaixo da superfície da membrana do ovócito, migram e fusionam-se sobre a mesma, liberando seu conteúdo no espaço perivitelino imediatamente depois da penetração do espermatozoide. A – como conse-quência, tanto a membrana vitelina como a zona pelúcida são modificadas, impedindo a entrada de mais espermatozoides, o que evita a polispermia. B – o ovócito retoma, então, sua segunda divisão meiótica, que ocasiona a expulsão do segundo corpúsculo polar, e na formação dos pronúcleos feminino e masculino. C – continuando, os pronúcleos migram, suas membranas se dissolvem e os cromossomos de ambos se condensam e se unem. Completa-se, assim, a singamia e forma-se, então, o zigoto. Elaborado pelo autor baseado nos livros de embriologia e fisiologia da reprodução conforme vida bibliografia. -/- Ativação do ovócito e formação de pronúcleos -/- Na maioria das fêmeas domésticas, com exceção da cadela, o ovócito encontra-se suspenso na metáfase II da segunda meiose no momento da ovulação. A entrada da PLCζ do espermatozoide no citoplasma do ovócito, e a consequente liberação de Ca2+, faz com que o ovócito se ative, terminando a segunda divisão meiótica e expulse o segundo corpo polar. Posteriormente, o material nuclear do ovócito se reorganiza para formar o pronú-cleo feminino. Entretanto, a membrana nuclear do espermatozoide se dissolve, a cromatina descondensa-se, as protaminas são substituídas por histonas, e se forma uma nova membrana nuclear, dando lugar ao pronúcleo masculino. -/- Singamia -/- Uma vez que os pronúcleos feminino e masculino são formados, migram para o centro do ovócito, aproximam-se, suas membranas se dispersam e os cromossomos paternos e maternos se associam, com o qual recupera a condição diploide e dá origem ao zigoto (figura 5). -/- • _____DESENVOLVIMENTO EMBRIONÁRIO -/- Poucas horas após a fertilização ocorre a primeira divisão do zigoto em duas, depois em 4, 8, 16 e 32 células, denominadas blastômeros. Essas divisões mitóticas são conhecidas como divisões de segmentação ou clivagem (figura 6), uma vez que são realizadas sem aumento do citoplasma, de modo que com cada divisão os blastômeros se tornam menores. A partir das 16 células o embrião se chama mórula, e é visto como uma massa celular compacta. A compactação deve-se a informação de proteínas de ligação entre os blastômeros. O embrião acumula líquido em seu interior, formando uma cavidade denominada blastocele. Esse processo é conhecido como blastulação; o embrião, assim, passa a ser chamado de blastocisto. Nessa etapa é possível diferenciar duas populações de células embrionárias: a massa celular interna, embrioblasto ou botão embrionário (que dará origem ao embrião), e a massa celular externa, células superficiais ou trofoblasto, do qual se originam a maioria das membranas fetais. Ao continuar a multiplicação das células e a acumulação de líquido, o blastocisto aumenta de tamanho, convertendo-se em blastocisto expandido. A zona pelúcida torna-se mais fina e, finalmente, o embrião eclode; isto é, o embrião é liberado da zona pelúcida. -/- • _____FERTILIZAÇÕES ATÍPICAS -/- Polispermia -/- É a penetração de dois ou mais espermatozoides no óvulo. Esta condição é letal nos mamíferos, já que o número cromossômico desse zigoto é maior que 2n, o envelheci-mento do ovócito da porca, como consequência do serviço tardio, favorece a apresentação da polispermia, por isso, é comum ver números de nascimentos de média de 10 a 12 leitões por parição nessa espécie. Nas aves, no entanto, a penetração de mais de um espermatozoide é normal, embora apenas um pronúcleo masculino se formará, fundindo-se com o feminino. -/- Figura 6: etapas do processo de segmentação/clivagem. Fonte: aula de reprodução da professora Domenica Palomaris, UFT. -/- Ginogênese -/- É o desenvolvimento de um embrião a partir de um óvulo normal fecundado por um espermatozoide, mas sem a fusão dos cromossomos masculinos com os da fêmea. A função do espermatozoide, nesse caso, é a de ativação do ovócito para que este inicie seu desenvolvimento, mas não há fusão com o núcleo do espermatozoide. Ocorre em plantas, em nematódeos e em algumas espécies de peixes, por exemplo a Poecilia formosa, espécie em que os ovócitos das fêmeas são ativados por machos de outra espécie relacio-nada. -/- Partenogênese -/- Consiste no desenvolvimento do embrião sem a participação do espermatozoide. Ocorre em alguns insetos, o zangão, por exemplo, é partenogenético. Também pode apresentar-se em perus, cujos embriões são machos e, geralmente, morrem antes da eclosão. -/- • _____GÊMEOS -/- Existem dois tipos de gêmeos: idênticos ou monozigóticos e os não idênticos ou dizigóticos. -/- Idênticos ou monozigóticos -/- Originam-se do mesmo zigoto, sendo assim, possuem o mesmo genótipo e um fenótipo similar e, portanto, são do mesmo sexo. Em laboratório é possível gerá-los ao seccionar uma mórula em duas ou mais partes, por meio de um micromanipulador. Uma vez que possuem o mesmo genótipo, os produtos resultantes são clones. -/- Não idênticos ou dizigóticos -/- Provêm da fertilização de dois óvulos distintos por espermatozoides diferentes. Possuem, portanto, genótipos e fenótipos diferentes, e podem ser de sexo diferente. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- ALBERTS, Bruce et al. Biologia molecular da célula. Artmed Editora, 2010. AUSTIN, Colin Russell; SHORT, Roger Valentine. Reproduction in Mammals, Book I: Germ Cells and Fertilization. 1982. BEARDEN, Henry Joe et al. Reproducción animal aplicada. México: Manual Moderno, 1982. BOSCH, P.; WRIGHT JR, R. W. The oviductal sperm reservoir in domestic mammals. Archivos de medicina veterinaria, v. 37, n. 2, p. 95-105, 2005. CAPALLEJAS, Roberto Brito; RODRÍGUEZ, Lourdes Tagle. Fisiología de la reproducción animal: con elementos de biotecnología. Editorial Félix Varela, 2010. CROXATTO, Horacio B. Physiology of gamete and embryo transport through the fallopian tube. Reproductive biomedicine online, v. 4, n. 2, p. 160-169, 2002. CUPPS, Perry T. (Ed.). Reproduction in domestic animals. Elsevier, 1991. DIEDRICH, Smidt et al. Endocrinología y Fisiología de la Reproducción de los Animales Zootécnicos. 1972. DUKES, Henry Hugh; SWENSON, Melvin J.; REECE, William O. Dukes fisiologia dos animais domésticos. Editora Guanabara Koogan, 1996. FERREIRA, A. de M. Reprodução da fêmea bovina: fisiologia aplicada e problemas mais comuns (causas e tratamentos). Juiz de Fora: Minas Gerais–Brasil, p. 422, 2010. HAFEZ, Elsayed Saad Eldin; HAFEZ, Bahaa. Reprodução animal. São Paulo: Manole, 2004. HUNTER, Ronald Henry Fraser. The Fallopian tubes in domestic mammals: how vital is their physiological activity?. Reproduction Nutrition Development, v. 45, n. 3, p. 281-290, 2005. HUNTER, R. H. F.; RODRIGUEZ‐MARTINEZ, H. Capacitation of mammalian spermatozoa in vivo, with a specific focus on events in the Fallopian tubes. Molecular Reproduction and Development: Incorporating Gamete Research, v. 67, n. 2, p. 243-250, 2004. GALINA, Carlos; VALENCIA, Javier. Reproducción de los animales domésticos. 2006. HOPPER, Richard M. (Ed.). Bovine reproduction. John Wiley & Sons, 2014. HYTTEL, Poul; SINOWATZ, Fred; VEJLSTED, Morten. Embriologia veterinária. Elsevier Brasil, 2012. KÖLLE, Sabine; REESE, Sven; KUMMER, Wolfgang. New aspects of gamete transport, fertilization, and embryonic development in the oviduct gained by means of live cell imaging. Theriogenology, v. 73, n. 6, p. 786-795, 2010. MCKINNON, Angus O. et al. (Ed.). Equine reproduction. John Wiley & Sons, 2011. OLIVERA, Martha et al. El espermatozoide, desde la eyaculación hasta la fertilización. Revista Colombiana de Ciencias Pecuarias, v. 19, n. 4, p. 426-436, 2006. PLANT, Tony M.; ZELEZNIK, Anthony J. (Ed.). Knobil and Neill's physiology of reproduction. New York: Academic Press, 2014. RODRIGUEZ-MARTINEZ, Heriberto. Role of the oviduct in sperm capacitation. Theriogenology, v. 68, p. S138-S146, 2007. SAAVEDRA LEOS, María Dolores. Estudio de la composición de los gránulos corticales y del oolema de ovocitos porcinos y bovinos madurados y fecundados in vitro. Proyecto de investigación:, 2010. SENGER, Phillip L. et al. Pathways to pregnancy and parturition. Current Conceptions, Inc, 2004. SUAREZ, Susan S. The oviductal sperm reservoir in mammals: mechanisms of formation. Biology of Reproduction, v. 58, n. 5, p. 1105-1107, 1998. VALENCIA MÉNDEZ, Javier de J. Fisiología de la reproducción porcina. 1986. -/- FIXAÇÃO DO ASSUNTO -/- 1. Defina e diferencie fertilização e segmentação. -/- 2. Disserte sobre o transporte do ovócito. Por que no istmo o transporte do ovócito se torna lento? -/- 3. Fale sobre a eficiência do transporte do gameta no trato genital da fêmea e sobre a retenção de ovócitos pela égua. -/- 4. Defina as células do cumulus e explique seu papel sobre o ovócito. -/- 5. Quais as estruturas que compõem o ovócito? Qual a função de cada uma? -/- 6. Todos os ovócitos das fêmeas domésticas são iguais? Justifique. -/- 7. Disserte sobre o papel dos hormônios e das secreções sobre o transporte do ovócito no trato genital da fêmea. -/- 8. Disserte sobre o transporte do espermatozoide. Por que há transporte rápido e lento dos espermatozoides? -/- 9. Fale sobre o local de deposição do sêmen nas espécies domésticas e como esse influen-cia na eficiência da reprodução. -/- 10. Por que a vida média do espermatozoide canino é maior que as outras espécies? -/- 11. Quais as mudanças que os espermatozoides precisam sofrer para conseguir êxito na fertilização e por quê? -/- 12. Defina fase de transporte rápido, fase sustentada e hipermotilidade. Qual a importân-cia de cada um? -/- 13. Como ocorre a reação acrossômica? -/- 14. O que é polispermia e como ocorre seu bloqueio? 15. Como ocorre a ativação do ovócito e como se formam os pronúcleos? -/- 16. O que é e qual a importância da singamia? -/- 17. Disserte sobre as divisões de segmentação e qual a importância destas para o êxito da reprodução. -/- 18. Defina e diferencia mórula e blastocisto. -/- 19. Defina e diferencie ginogênese e partenogênese. -/- 20. Qual o papel endócrino e quais hormônios e enzimas atuam sobre o transporte de gametas, sobre a fertilização e sobre a segmentação? (shrink)

In this article, I critically reassess Iris Marion Young's late works, which centre on the distinction between liability and social connection responsibility. I concur with Young's diagnosis that structural injustices call for a new conception of responsibility, but I reject several core assumptions that underpin her distinction between two models and argue for a different way of conceptualising responsibility to address structural injustices. I show that Young's categorical separation of guilt and responsibility is not supported by the writings of Hannah (...) Arendt, which Young draws on, and that it is also untenable on independent systematic grounds. Furthermore, I argue that several of Young's other criteria fail to clearly demarcate two distinct phenomena. I therefore propose to transcend Young's distinction between two models in favour of a related, but conceptually different distinction between two forms of responsibility: interactional and structural. Embracing this terminology facilitates the conceptualisation of the general features of responsibility that are shared by both forms, including their retrospective and prospective time-direction and their applicability to individual, joint and group agency. The distinction between interactional and structural responsibility also yields a more compelling general account of the role of background structures, and of blame within ascriptions of political responsibility. (shrink)

A classification of the global catastrophic risks of AI is presented, along with a comprehensive list of previously identified risks. This classification allows the identification of several new risks. We show that at each level of AI’s intelligence power, separate types of possible catastrophes dominate. Our classification demonstrates that the field of AI risks is diverse, and includes many scenarios beyond the commonly discussed cases of a paperclip maximizer or robot-caused unemployment. Global catastrophic failure could happen at various levels of (...) AI development, namely, before it starts self-improvement, during its takeoff, when it uses various instruments to escape its initial confinement, or after it successfully takes over the world and starts to implement its goal system, which could be plainly unaligned, or feature-flawed friendliness. AI could also halt at later stages of its development either due to technical glitches or ontological problems. Overall, we identified around several dozen scenarios of AI-driven global catastrophe. The extent of this list illustrates that there is no one simple solution to the problem of AI safety, and that AI safety theory is complex and must be customized for each AI development level. (shrink)

This study used a partial least squares structural equation modelling (PLS-SEM) to estimate curriculum management's direct and indirect effects on university graduate programmes' viability. The study also examined the role of institutional effectiveness in mediating the nexus between the predictor and response variables. This is a correlational study with a factorial research design. The study's participants comprised 149 higher education administrators (23 Faculty Deans and 126 HODs) from two public universities in Nigeria. A structured questionnaire designed by the researchers was (...) used for data collection. The questionnaire was duly validated with an acceptable scale and item content validity indices. The dimensionality of the instrument was determined using exploratory factor analysis (EFA). Convergent validity was based on Average Variance Extracted (AVE), whereas discriminant validity was based on Fornell-Lacker criteria and the Hetero-Trait Mono-Trait (HTMT) ratio. Acceptable composite reliability estimates of internal consistency were reached for the three sub-scales. Following ethical practices, the questionnaire was physically administered to respondents and retrieved afterwards. Smart PLS (version 3.2.9) and SPSS (version 26.0) programs were used for all the statistical analyses. This study uncovered significant direct and indirect effects of curriculum management on the viability of graduate programmes. Institutional effectiveness significantly impacted graduate programmes’ viability while mediating the nexus between curriculum management and graduate programmes’ viability. Curriculum management and institutional effectiveness jointly explained a significant proportion of graduate programmes’ viability variance. The result of this study proved that graduate programmes’ viability depends, to a great extent, on how much curriculum is managed and how effective institutions are with their services. The result of this study can enable institutions seeking to run viable graduate programmes to re-evaluate their curriculum management practices and the effectiveness of their services. (shrink)

Summary. The prerequisites of this study have three interwoven sources, the natural sciences and philosophical and socio-political ones. They are trends in the way of being of a modern, technogenic civilization. The COVID-19 pandemic caused significant damage to the image of the omnipotent techno-science that has developed in the mentality of this sociocultural type.Our goal was to study the co-evolutionary nature of this phenomenon as a natural consequence of the nature of the evolutionary strategy of our biological species. Technological civilization (...) as a cultural-civilizational type is one of the evolutionary options of Homo sapiens, the ontological basis of which is a stable evolutionary strategy (SESH). The latter is capable to spontaneous development and is consisting from biological, sociocultural, and techno-rationalistic modules. Evolutionary risks inextricably linked with it. At present, humankind has entered an era when its existence should be ensured by the meta-system engineering of its own cultural and ecological niche. By such artificially created elements, it implies the design and implementation of ecological systems of various levels of complexity, from the design of elements of such systems (which are biological individuals, populations and species) to the design of a global ecological system (biosphere). At the same time, there is a sharp jump in the value of anthropogenic and technological risk due to a sharp increase in the instability of the structure of ecological systems. We are witnessing a third wave of breaking and reconstruction of the existing relations between the elements of such systems after the Neolithic revolution and great geographical discoveries. Technological innovations led to sharp violations of normal social ecodynamics, leading to outbreaks of new infections, in particular. Theuncontested development of all sectors of controlled evolution technology is the way out of the last such crisis and the prevention of similar ones in the future. There are global nature of the organization of modern technological civilization and the transformation of the biosphere not so much into the noosphere (according to Vernadsky) but into the technosphere that determines the effect of a cascade reaction: any local co-adaptive conflict between elements of a cultural, socio-ecological niche tends to turnglobal and systemic problems. Humanity is constantly forced to make a choice between the stability and adaptability of the technosphere. (shrink)

We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...) are elementary canonical and thus extend Sahlqvist’s theorem over them. In particular, we give a simple example of an inductive formula which is not frame-equivalent to any Sahlqvist formula. Then, after a deeper analysis of the inductive formulae as set-theoretic operators in descriptive and Kripke frames, we establish a somewhat stronger model-theoretic characterization of these formulae in terms of a suitable equivalence to syntactically simpler formulae in the extension of the language with reversive modalities. Lastly, we study and characterize the elementary canonical formulae in reversive languages with nominals, where the relevant notion of persistence is with respect to discrete frames. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's and (...) Stavi's temporal operators, as well as nominals (names, clock variables), are definable in them. Universal validity in these languages is proved undecidable. The basic modal and temporal logics with reference pointers are uniformly axiomatized and a strong completeness theorem is proved for them and extended to some classes of their extensions. (shrink)

With the fast pace of AI development, the problem of preventing its global catastrophic risks arises. However, no satisfactory solution has been found. From several possibilities, the confinement of AI in a box is considered as a low-quality possible solution for AI safety. However, some treacherous AIs can be stopped by effective confinement if it is used as an additional measure. Here, we proposed an idealized model of the best possible confinement by aggregating all known ideas in the field of (...) AI boxing. We model the confinement based on the principles used in the safety engineering of nuclear power plants. We show that AI confinement should be implemented in several levels of defense. These levels include 1) AI design in fail-safe manner 2) limiting its capabilities, preventing self-improving and circuit breakers on treacherous turn 3) isolation from the outside world and, lastly, as the final hope 4) outside measures oriented on stopping AI in the wild. We demonstrate that the substantial number (more than 50 ideas listed in the article) of mutually independent measures could provide a relatively high probability of the containment of a human-level AI but may be not sufficient to preserve runaway of superintelligent AI. Thus, these measures will work only if they are used to prevent superintelligent AI creation, but not for containing superintelligence. We suggest that there could be a safe operation threshold, on which AI is useful, but is not able to hack containment system from the inside, the same way as a safe level of chain reaction inside nuclear power plants is maintained. However, overall, a failure of the confinement is inevitable, so we need to use the full AGI limited number of times (AI-ticks). (shrink)

This article analyses what it means for the attribution of responsibility to adopt a structural perspective on macro-social phenomena. To this end, a specific form of responsibility, namely ‘structural responsibility’, is distinguished from and placed in relation to personal and interpersonal moral responsibility. It is argued that only with the attribution of structural responsibility can we appropriately take account of macro-social problems including those that are predominant in international relations. Using the example of climate responsibility, the article explains in a (...) final step what happens when structural responsibility is overlooked, trivialised or even negated. (shrink)

The study investigated conflict management strategies and secondary school teachers’ job effectiveness in Obubra Local Government Area of Cross River State. Six null hypotheses were formulated to guide the study. The study adopted correlational and factorial research designs. Purposive sampling technique was used to select a sample of 222 teachers from a population of 352 secondary school teachers. Conflict Management Strategies Questionnaire (CMSQ) and Secondary School Teachers’ Job Effectiveness Questionnaire (SSTJEQ) were used respectively, as instruments for data collection. The hypotheses (...) were tested at .05 level of significance using Population t-test, Pearson Product Moment Correlation and Multiple Regression analyses. Findings revealed that, teachers’ job effectiveness level in Obubra Local Government Area is significantly high. Findings also revealed that arbitration, dialogue, and effective communication strategies respectively, had a significant relationship with secondary school teachers’ job effectiveness. Smoothing strategy had no significant relationship to secondary school teachers’ job effectiveness. The findings also revealed among others that; the four conflict management strategies (arbitration, dialogue, effective communication and smoothing) had a joint significant influence on secondary school teachers’ job effectiveness. Based on these findings, it was recommended among others that; secondary school principals should not rely totally on one conflict management strategy as the best for all situations, instead they should learn how to use various conflict management strategies, and apply them in any given conflict situation in their schools. (shrink)

This paper deals with, prepositional calculi with strong negation (N-logics) in which the Craig interpolation theorem holds. N-logics are defined to be axiomatic strengthenings of the intuitionistic calculus enriched with a unary connective called strong negation. There exists continuum of N-logics, but the Craig interpolation theorem holds only in 14 of them.

The article discusses some facts of C. G. Jung's direct appeal to the ideas of I. Kant. The main part of the article is preceded by statistical data on the mention of various philosophers in the Collected Works of Jung. It is not surprising that Kant leads in the number of links to his ideas or personality in Jung’s heritage. Then I show examples of the mention of Kant in Jung’s correspondence, which allow understand the fundamental philosophical background of analytical (...) psychology better. For this purpose in particular I give excerpts from which it becomes clear that the creator of the analytical psychology, unlike his predecessor C. G. Carus, never hypostasized the collective unconscious, because Jung believed that this is a thing in itself. Also by correspondence it is clear that Jung grasped Kant’s criticism of the rational proofs of existence of God well. Then I point out how apriorism is manifested in analytical psychology. Also I explain briefly how to understand that archetypes and instincts are necessary a priori conditions for the formation of psychic experience. In conclusion, the reasons are given for which Kant and Jung rejected the fundamental possibility of the existence of psychology in the status of strict science. -/- В статье рассматриваются некоторые факты прямого обращения К. Г. Юнга к идеям И. Канта. Основная часть статьи предваряется статистическими данными по упоминанию различных философов в 20-томном академическом собрании сочинений Юнга. Совершенно не удивительно, что по количеству ссылок лидирует Кант. Далее приводятся конкретные примеры упоминания родоначальника немецкой классической философии в переписке Юнга, что позволяет лучше понять фундаментальную философскую подоплёку аналитической психологии. Так, приводятся отрывки, из которых становится ясно, что создатель аналитической психологии, в отличие от своего предшественника К. Г. Каруса, никогда не гипостазировал коллективное бессознательное, считая, что это вещь в себе. Также по переписке видно, что Юнг усвоил произведённую Кантом критику доказательств бытия Божия. Затем в статье указывается, каким образом в аналитической психологии проявляется априоризм. Кратко объясняется, как следует понимать то, что архетипы и инстинкты являются необходимыми априорными условиями формирования психического опыта. В заключение приводятся основания, по которым Кант и Юнг отвергали принципиальную возможность существования психологии в статусе строгой науки, и которые до сих пор не преодолены. (shrink)

We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.

The author considers ethical and legal aspects of a developing of AI systems. He examines the ethical aspect through the prism of Kant’s philosophy and outlines moral prospects of (quasi)intelligent robots. The author considers the legal aspect in context of normative regulation of risks that arise with a creating of AI systems. In conclusion the author makes an assumption on forthcoming transformation of a legal system because of a new type of legal acts that combine classical form of legal act (...) and machine protocol. -/- В статье затрагиваются этический и правовой аспекты развития систем искусственного интеллекта. Этический аспект автор рассматривает с позиций философии И. Канта и обрисовывает нравственные перспективы создания (квази)разумных роботов. Правовой аспект рассматривается в контексте нормативного регулирования рисков, возникающих при создании систем ИИ. В заключении делается предположение о грядущей перестройке правовой системы в связи с возникновением нового типа НПА, которые сочетают в себе классическую форму НПА и машинного протокола. (shrink)

A certain type of inference rules in modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.

We give a complete axiomatization of the identities of the basic game algebra valid with respect to the abstract game board semantics. We also show that the additional conditions of termination and determinacy of game boards do not introduce new valid identities.En route we introduce a simple translation of game terms into plain modal logic and thus translate, while preserving validity both ways, game identities into modal formulae.The completeness proof is based on reduction of game terms to a certain ‘minimal (...) canonical form’, by using only the axiomatic identities, and on showing that the equivalence of two minimal canonical terms can be established from these identities. (shrink)

Consumer boycotts have become a frequent form of social protest in the digital age. The corporate malpractices motivating them are varied, including environmental pollution, lack of minimum labour standards, severe mistreatment of animals, lobbying and misinformation campaigns, collaboration or complicity with illegitimate political regimes, and systematic tax evasion and tax fraud. In this article, I argue that organised consumer boycotts should be regarded as a legitimate and purposeful instrument for structural change, provided they conform to a number of normative criteria. (...) In order to show this, the practice and empirical context of consumer boycotts are first outlined. I then lay out and refute three general objections to this practice. Although each of these objections fails, their discussion generates insights concerning the normative standards with which boycotters must comply if they want their campaigns to be both legitimate and successful. These normative criteria are detailed along the lines of two guiding principles, proportionality and transparency. In the final step, I elaborate on structural change as the deeper purpose of consumer boycotts. (shrink)

Recently many methods for reducing the risk of human extinction have been suggested, including building refuges underground and in space. Here we will discuss the perspective of using military nuclear submarines or their derivatives to ensure the survival of a small portion of humanity who will be able to rebuild human civilization after a large catastrophe. We will show that it is a very cost-effective way to build refuges, and viable solutions exist for various budgets and timeframes. Nuclear submarines are (...) surface independent, and could provide energy, oxygen, fresh water and perhaps even food for their inhabitants for years. They are able to withstand close nuclear explosions and radiation. They are able to maintain isolation from biological attacks and most known weapons. They already exist and need only small adaptation to be used as refuges. But building refuges is only “Plan B” of existential risk preparation; it is better to eliminate such risks than try to survive them. (shrink)

This study assessed students’ personnel management and academic effectiveness in terms of punctuality to classes, time management, study habits, record keeping, attitudes during classes, note taking, attitudes towards assignment, examination results and attitudes towards co-curricular activities in Calabar Education Zone of Cross River State. Three null hypotheses were formulated accordingly to guide the study following a descriptive survey research design. Proportionate sampling technique was employed in selecting a sample of 1,934 students (representing 20%) from a population of 9,672 students. Students’ (...) Personnel Management and Academic Effectiveness Questionnaire (SPMAEQ) was used as an instrument for data collection. The instrument yielded reliability estimates of .86 and .93 for the independent and dependent variables using Split-half technique. The null hypotheses were all tested at .05 level of significance using Pearson Correlation Matrix with the aid of SPSS v25. Findings from the study revealed among others that; students' counseling, healthcare, and discipline management respectively, are significantly related to students' academic effectiveness in terms of punctuality to classes, time management, study habits, record keeping, attitudes during classes, note taking, attitudes towards assignment, examination results and attitudes towards co-curricular activities. It was concluded generally from the findings of this study that, there is a moderate positive relationship which is statistically significant between students’ personnel management and their academic effectiveness. It was recommended amongst others that; there should be adequate employment and supply of professional guidance counselors to all secondary schools to boost the psychological levels of students and make them emotionally prepared for academic and co-curricular activities in the school. (shrink)

The goal of the article is to explore what is the most probable type of simulation in which humanity lives (if any) and how this affects simulation termination risks. We firstly explore the question of what kind of simulation in which humanity is most likely located based on pure theoretical reasoning. We suggest a new patch to the classical simulation argument, showing that we are likely simulated not by our own descendants, but by alien civilizations. Based on this, we provide (...) classification of different possible simulations and we find that simpler, less expensive and one-person-centered simulations, resurrectional simulations, or simulations of the first artificial general intelligence’s (AGI’s) origin (singularity simulations) should dominate. Also, simulations which simulate the 21st century and global catastrophic risks are probable. We then explore whether the simulation could collapse or be terminated. Most simulations must be terminated after they model the singularity or after they model a global catastrophe before the singularity. Undeniably observed glitches, but not philosophical speculations could result in simulation termination. The simulation could collapse if it is overwhelmed by glitches. The Doomsday Argument in simulations implies termination soon. We conclude that all types of the most probable simulations except resurrectional simulations are prone to termination risks in a relatively short time frame of hundreds of years or less from now. (shrink)

The new phase of science evolution is characterized by totality of subject and object of cognition and technology (high-hume). As a result, forming of network structure in a disciplinary matrix modern are «human dimensional» natural sciences and two paradigmal «nuclei» (attraktors). As a result, the complication of structure of disciplinary matrix and forming a few paradigm nuclei in modern «human dimensional» natural sciences are observed. In the process of social verification integration of scientific theories into the existent system of mental (...) and valued options of spiritual culture takes place. The attribute of classical science – ethics neutrality of scientific knowledge becomes an unattainable ideal. One of the trends in the evolution of theoretical epistemology is the study of migration mechanisms of generation of scientific knowledge from the sphere of its own logic and methodology of science in the field of sociology - the consideration of this process, as the resulting system of interactions of social structures and institutions. Ensuing ideas and settings become the dominant worldview of philosophical and technological civilization. -/- . (shrink)

This research assessed certain socio-demographic variables and how they affect students’ satisfaction with the study of ICT in secondary schools. The study adopted a survey research design and was guided by six specific objectives. A total of 4,484 senior secondary school students represented the study’s population, while a simple random sampling technique was adopted in selecting a sample of 2,242 respondents. Secondary school Students’ Satisfaction with the Study of ICT Questionnaire (SSSSSICTQ)” was used primarily as the tool for data collection. (...) Although there are differences in students’ satisfaction levels across various groups, age, gender, parents’ income level, students’ education level and school location do not significantly influence students’ satisfaction with the study of ICT in secondary schools respectively. It was concluded that the socio-demographic factors of students do not influence to a notable extent, students’ satisfaction with the study of ICT in secondary schools. Based on this conclusion, the implication imposes additional responsibilities for future studies to attempt to uncover reasons why socio-demographic factors do not affect the satisfaction of students with the study of ICT at the secondary education level. (shrink)

The stable evolutionary strategy of Homo sapiens and patterns of risks arising in the course of this evolution were discussed in article. These patterns were predicted by Bogdanov’s option of General systems theory.

This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...) a hierarchy of natural classes of trees and bundled trees arising from a given class of linear orders and show that in general they provide different semantics. We also discuss transfer of definability from linear orders to trees and introduce a uniform translation from Priorean to Peircean formulae which transfers definability of properties of linear orders to definability of properties of all paths in trees. (shrink)

Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...) method of axiomatization hinges upon the fact that a "difference" operator is definable in hyperboolean algebras, and makes use of additional non-Hilbert-style rules. Finally, we discuss a number of open questions and directions for further research. (shrink)

Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We investigate and completely determine the set-theoretic relationships between these classes of trees and between their corresponding first-order theories. We then obtain some general results about the axiomatization of the first-order theories of some of these classes of trees in terms of (...) the first-order theory of the generating class C, and indicate the problems obstructing such general results for the other classes. These problems arise from the possible existence of nondefinable paths in trees, that need not satisfy the first-order theory of C, so we have started analysing first order definable and undefinable paths in trees. (shrink)

Sideloading is the creation of a digital model of a person during their life via iterative improvements of this model based on the person's feedback. The progress of LLMs with large prompts allows the creation of very large, book-size prompts which describe a personality. We will call mind-models created via sideloading "sideloads"; they often look like chatbots, but they are more than that as they have other output channels, like internal thought streams and descriptions of actions. -/- By arranging the (...) predictive power of the facts about a person, we can write down the most important facts first. This allows us to get a high level of fidelity in a person's model by writing down a finite number of facts and running it as an LLM prompt with instructions to create a person's chatbot. This instruction also includes an extensive general sideload prompt (we will call it a prompt-loader), which explains how the person's sideload should work, but it is universal and works as an operating system for different persons. -/- I created my personal sideload to test all this and it started working surprisingly quickly. We found that there are three main levels of facts about a person: core facts, long-term memory, and historical facts. Core facts should go to the main prompt of the LLM, long-term memory belongs to RAG, and historical facts – which a person often does not remember – should be only used to extract new relevant data. The most important thing in preparing data for sideloading is to get a full list of the core facts, and not to mix it with long-term memory and historical facts. The LLM-sideload project is inherently future-oriented. New state-of-the-art LLMs with large prompt capabilities emerge quarterly. This allows for the preparation of prompts that exceed current LLM capabilities, anticipating smooth execution in the following year. Below we present the key findings of this work in the form of an executive summary: Quality of sideloads is evaluated using three metrics: • Facts: Accuracy of the answers about the person's life • Vibe: How well the sideload captures the person's style and personality, as judged by the person themselves and their acquaintances • Brilliant insights: Ability to contribute unique, valuable ideas beyond the training data, while maintaining the author's style • Coarseness: Levels of details as percent of the total of recordable textual information from memory estimated to be 10000 pages. Similar to the jpeg level of compression. Estimated performance of Alexey Turchin's sideload: • Facts: 70% correct • Vibe: 20% accurate • Brilliant insights: near zero • Coarseness: 10% The project achieved these results in about one month of work. Vibe is harder to evaluate and regulate than facts. This approach focuses on informational personal identity, setting aside issues of observer identity and internal qualia. (shrink)

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

Auch zu Beginn des 21. Jahrhunderts lebt ein großer Teil der Menschheit in bitterer Armut. Daraus ergibt sich die brennende Frage, was die Bürgerinnen und Bürger wohlhabender Länder extrem armen Menschen moralisch schulden. Valentin Beck beantwortet sie im Rahmen einer umfassenden Theorie der globalen Verantwortung. In seinem glänzend geschriebenen Buch behandelt er zentrale Fragen der Theorie globaler Gerechtigkeit, unterzieht unsere Verflechtung in globale soziale Strukturen einer detaillierten Analyse und wirft so ein neues Licht auf eine der größten moralischen Herausforderungen (...) unserer Zeit. Wir müssen mit Blick auf den politischen und individuellen Umgang mit der Weltarmut umdenken, so lautet die zentrale Forderung dieser Studie. (shrink)

The problem of surviving the end of the observable universe may seem very remote, but there are several reasons it may be important now: a) we may need to define soon the final goals of runaway space colonization and of superintelligent AI, b) the possibility of the solution will prove the plausibility of indefinite life extension, and с) the understanding of risks of the universe’s end will help us to escape dangers like artificial false vacuum decay. A possible solution depends (...) on the type of the universe’s ending that may be expected: very slow heat death or some abrupt end, like a Big Rip or Big Crunch. We have reviewed the literature and identified several possible ways of survival the end of the universe, and also suggest several new ones. There are seven main approaches to escape the end of the universe: use the energy of the catastrophic process for computations, move to a parallel world, prevent the end, survive the end, manipulate time, avoid the problem entirely or find some meta-level solution. (shrink)

Abstract. Boltzmann brains (BBs) are minds which randomly appear as a result of thermodynamic or quantum fluctuations. In this article, the question of if we are BBs, and the observational consequences if so, is explored. To address this problem, a typology of BBs is created, and the evidence is compared with the Simulation Argument. Based on this comparison, we conclude that while the existence of a “normal” BB is either unlikely or irrelevant, BBs with some ordering may have observable consequences. (...) There are two types of such ordered BBs: Boltzmannian typewriters (including Boltzmannian simulations), and chains of observer moments. Notably, the existence or non-existence of BBs may have practical applications for measuring the size of the universe, achieving immortality, or even manipulating the observed probability of events. -/- Disclaimer and trigger warning: some people have emotional breakdowns when thinking about topics described in the article, especially the “flux universe”. However, everything eventually adds up to normality. (shrink)

We propose a generalization of Sahlqvist formulas to polyadic modal languages by representing such languages in a combinatorial PDL style and thus, in particular, developing what we believe to be the right syntactic approach to Sahlqvist formulas at all. The class of polyadic Sahlqvist formulas PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.

Abstract. The main current approach to the AI safety is AI alignment, that is, the creation of AI whose preferences are aligned with “human values.” Many AI safety researchers agree that the idea of “human values” as a constant, ordered sets of preferences is at least incomplete. However, the idea that “humans have values” underlies a lot of thinking in the field; it appears again and again, sometimes popping up as an uncritically accepted truth. Thus, it deserves a thorough deconstruction, (...) which I will do by listing and analyzing comprehensively the hidden assumptions of the idea that “humans have values.” This deconstruction of human values will be centered around the following ideas: “Human values” are useful descriptions, but not real objects; “human values” are bad predictors of behavior; the idea of a “human value system” has flaws; “human values” are not good by default; and human values cannot be separated from human minds. The method of analysis is listing hidden assumptions on which the idea of “human values” is built. I recommend that either the idea of “human values” should be replaced with something better for the goal of AI safety, or at least be used very cautiously. The approaches to AI safety which don’t use the idea of human values at all may require more attention, like the use of full brain models, boxing, and capability limiting. (shrink)

A complete axiomatic system CTL$_{rp}$ is introduced for a temporal logic for finitely branching $\omega^+$-trees in a temporal language extended with so called reference pointers. Syntactic and semantic interpretations are constructed for the branching time computation tree logic CTL$^{*}$ into CTL$_{rp}$. In particular, that yields a complete axiomatization for the translations of all valid CTL$^{*}$-formulae. Thus, the temporal logic with reference pointers is brought forward as a simpler (with no path quantifiers), but in a way more expressive medium for reasoning (...) about branching time. (shrink)